slang tree_sitter_verilog verilator yosys odin icarus sv2v_zachjs
Various sanity checks sanity 1/1 1/1 1/1 1/1 0/1 1/1 1/1
SweRV RISC-V core swerv 0/1 0/1 1/1 0/1 0/1 0/1 1/1
Ibex RISC-V core ibex 0/1 0/1 1/1 0/1 0/1 0/1 1/1
FX68K m68k core fx68k 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Tests imported from Yosys yosys 120/194 163/194 135/194 148/194 73/194 174/194 160/194
White space 5.3 7/7 7/7 1/7 7/7 0/7 1/7 7/7
Comments 5.4 7/7 7/7 1/7 7/7 0/7 1/7 7/7
Identifiers, keywords, and system names 5.6 2/2 2/2 2/2 2/2 1/2 2/2 2/2
Escaped identifiers 5.6.1 1/1 1/1 1/1 1/1 0/1 1/1 1/1
Keywords 5.6.2 248/248 2/248 247/248 62/248 248/248 248/248 248/248
System tasks and system functions 5.6.3 1/1 1/1 1/1 1/1 0/1 1/1 1/1
Compiler directives 5.6.4 94/122 93/122 12/122 37/122 0/122 10/122 85/122
Integer literal constants 5.7.1 64/87 65/87 8/87 9/87 2/87 9/87 57/87
Real literal constants 5.7.2 58/81 59/81 3/81 3/81 1/81 3/81 52/81
Time literals 5.8 0/1 1/1 0/1 0/1 0/1 0/1 0/1
String literals 5.9 3/4 4/4 3/4 2/4 0/4 2/4 2/4
Special characters in strings 5.9.1 1/1 1/1 1/1 1/1 0/1 1/1 1/1
Structure literals 5.10 1/4 3/4 2/4 1/4 1/4 1/4 1/4
Array literals 5.11 0/3 3/3 3/3 0/3 0/3 0/3 0/3
Attributes 5.12 5/5 5/5 4/5 5/5 0/5 5/5 3/5
Built-in methods 5.13 0/2 2/2 0/2 0/2 0/2 1/2 0/2
Nets and variables 6.5 2/4 1/4 2/4 2/4 3/4 4/4 1/4
Wire and tri nets 6.6.1 2/2 2/2 2/2 1/2 0/2 2/2 2/2
Unresolved nets 6.6.2 1/1 1/1 1/1 0/1 0/1 1/1 1/1
Wired nets 6.6.3 4/4 4/4 0/4 0/4 0/4 4/4 4/4
Trireg net 6.6.4 1/1 1/1 0/1 0/1 0/1 0/1 1/1
Tri0 and tri1 nets 6.6.5 2/2 2/2 2/2 0/2 0/2 2/2 2/2
Supply nets 6.6.6 2/2 2/2 2/2 2/2 0/2 2/2 2/2
User-defined nettypes 6.6.7 1/2 2/2 0/2 0/2 0/2 0/2 0/2
Generic interconnect 6.6.8 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Specifying vectors 6.9.1 1/1 1/1 1/1 1/1 0/1 1/1 1/1
Vector net accessibility 6.9.2 1/3 1/3 1/3 1/3 1/3 1/3 1/3
Implicit declarations 6.10 1/3 3/3 3/3 3/3 1/3 3/3 3/3
Integer data types 6.11 27/27 27/27 27/27 8/27 0/27 25/27 27/27
Real, shortreal, and realtime data types 6.12 6/6 3/6 5/6 3/6 3/6 4/6 3/6
Void data type 6.13 1/1 1/1 1/1 0/1 0/1 0/1 1/1
Chandle data type 6.14 1/1 1/1 1/1 0/1 0/1 0/1 0/1
Class 6.15 0/70 64/70 0/70 0/70 0/70 0/70 0/70
String data type 6.16 1/1 1/1 1/1 0/1 0/1 1/1 0/1
Len() 6.16.1 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Putc() 6.16.2 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Getc() 6.16.3 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Toupper() 6.16.4 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Tolower() 6.16.5 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Compare() 6.16.6 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Icompare() 6.16.7 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Substr() 6.16.8 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Atoi(), atohex(), atooct(), atobin() 6.16.9 0/4 4/4 0/4 0/4 0/4 0/4 0/4
Atoreal() 6.16.10 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Itoa() 6.16.11 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Hextoa() 6.16.12 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Octtoa() 6.16.13 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Bintoa() 6.16.14 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Realtoa() 6.16.15 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Event data type 6.17 1/1 1/1 0/1 0/1 0/1 1/1 0/1
User-defined types 6.18 10/29 22/29 0/29 0/29 0/29 0/29 19/29
Enumerations 6.19 4/5 3/5 2/5 2/5 2/5 4/5 3/5
Defining new data types as enumerated types 6.19.1 1/1 1/1 1/1 0/1 0/1 1/1 1/1
Enumerated type ranges 6.19.2 2/2 2/2 2/2 0/2 0/2 2/2 0/2
Type checking 6.19.3 2/2 1/2 1/2 1/2 1/2 1/2 1/2
Enumerated types in numerical expressions 6.19.4 3/3 2/3 2/3 1/3 1/3 1/3 2/3
First() 6.19.5.1 1/1 1/1 1/1 0/1 0/1 1/1 0/1
Last() 6.19.5.2 1/1 1/1 1/1 0/1 0/1 1/1 0/1
Next() 6.19.5.3 0/1 1/1 1/1 0/1 0/1 1/1 0/1
Prev() 6.19.5.4 0/1 1/1 1/1 0/1 0/1 1/1 0/1
Num() 6.19.5.5 1/1 1/1 1/1 0/1 0/1 0/1 0/1
Name() 6.19.5.6 0/1 1/1 1/1 0/1 0/1 0/1 0/1
Value parameters 6.20.2 5/6 5/6 6/6 4/6 0/6 4/6 6/6
$ as a parameter value 6.20.2.1 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Type parameters 6.20.3 0/1 1/1 1/1 0/1 0/1 0/1 0/1
Local parameters (localparam) 6.20.4 1/1 1/1 1/1 1/1 0/1 1/1 1/1
Specify parameters 6.20.5 1/2 1/2 2/2 1/2 1/2 1/2 1/2
Const constants 6.20.6 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Type operator 6.23 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Cast operator 6.24.1 1/1 1/1 1/1 0/1 0/1 1/1 1/1
$cast dynamic casting 6.24.2 0/2 2/2 0/2 0/2 0/2 2/2 2/2
Bit-stream casting 6.24.3 1/1 1/1 1/1 0/1 0/1 0/1 1/1
General 7.1 2/2 1/2 2/2 0/2 0/2 1/2 2/2
Structures 7.2 4/5 4/5 4/5 0/5 0/5 1/5 5/5
Packed structures 7.2.1 3/3 3/3 3/3 0/3 0/3 1/3 3/3
Assigning to structures 7.2.2 2/2 0/2 0/2 1/2 1/2 0/2 1/2
Unions 7.3 0/2 1/2 1/2 0/2 0/2 0/2 2/2
Packed unions 7.3.1 0/1 0/1 1/1 0/1 0/1 1/1 1/1
Tagged unions 7.3.2 0/2 2/2 0/2 0/2 0/2 0/2 0/2
Packed and unpacked arrays 7.4 2/2 2/2 2/2 2/2 0/2 2/2 2/2
Packed arrays 7.4.1 7/9 9/9 9/9 1/9 0/9 9/9 9/9
Unpacked arrays 7.4.2 3/13 13/13 3/13 1/13 0/13 1/13 3/13
Operations on arrays 7.4.3 8/14 13/14 12/14 1/14 1/14 8/14 13/14
Memories 7.4.4 2/2 2/2 2/2 1/2 0/2 2/2 2/2
Multidimensional arrays 7.4.5 4/4 4/4 4/4 0/4 0/4 3/4 4/4
Indexing and slicing of arrays 7.4.6 1/2 2/2 1/2 0/2 0/2 1/2 2/2
Dynamic arrays 7.5 0/1 1/1 0/1 0/1 0/1 1/1 0/1
New[ ] 7.5.1 0/1 1/1 0/1 0/1 0/1 1/1 0/1
Size() 7.5.2 0/1 1/1 0/1 0/1 0/1 1/1 0/1
Delete() 7.5.3 0/1 1/1 0/1 0/1 0/1 1/1 0/1
Array assignments 7.6 1/1 1/1 1/1 0/1 0/1 0/1 1/1
Arrays as arguments to subroutines 7.7 1/1 1/1 1/1 0/1 0/1 0/1 1/1
Associative arrays 7.8 0/9 9/9 0/9 0/9 0/9 0/9 0/9
Wildcard index type 7.8.1 0/1 1/1 0/1 0/1 0/1 0/1 0/1
String index 7.8.2 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Class index 7.8.3 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Integral index 7.8.4 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Other user-defined types 7.8.5 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Accessing invalid indices 7.8.6 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Allocating associative array elements 7.8.7 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Associative array methods 7.9 0/9 9/9 0/9 0/9 0/9 0/9 0/9
Num() and size() 7.9.1 0/4 4/4 0/4 0/4 0/4 0/4 0/4
Delete() 7.9.2 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Exists() 7.9.3 0/1 1/1 0/1 0/1 0/1 0/1 0/1
First() 7.9.4 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Last() 7.9.5 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Next() 7.9.6 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Prev() 7.9.7 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Arguments to traversal methods 7.9.8 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Associative array assignment 7.9.9 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Associative array arguments 7.9.10 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Associative array literals 7.9.11 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Queues 7.10 0/13 13/13 0/13 0/13 0/13 1/13 0/13
Queue operators 7.10.1 0/2 2/2 0/2 0/2 0/2 0/2 0/2
Queue methods 7.10.2 0/9 9/9 0/9 0/9 0/9 4/9 0/9
Size() 7.10.2.1 0/2 2/2 0/2 0/2 0/2 1/2 0/2
Insert() 7.10.2.2 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Delete() 7.10.2.3 0/1 1/1 0/1 0/1 0/1 1/1 0/1
Pop_front() 7.10.2.4 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Pop_back() 7.10.2.5 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Push_front() 7.10.2.6 0/1 1/1 0/1 0/1 0/1 1/1 0/1
Push_back() 7.10.2.7 0/2 2/2 0/2 0/2 0/2 1/2 0/2
Persistence of references to elements of a queue 7.10.3 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Updating a queue using assignment and unpacked array concatenation 7.10.4 0/6 2/6 0/6 0/6 0/6 2/6 0/6
Bounded queues 7.10.5 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Array querying functions 7.11 6/8 8/8 8/8 0/8 0/8 8/8 8/8
Array manipulation methods 7.12 0/10 10/10 0/10 0/10 0/10 0/10 0/10
Array locator methods 7.12.1 0/11 11/11 0/11 0/11 0/11 0/11 0/11
Array ordering methods 7.12.2 0/6 6/6 0/6 0/6 0/6 0/6 0/6
Array reduction methods 7.12.3 0/5 5/5 0/5 0/5 0/5 0/5 0/5
Iterator index querying 7.12.4 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Syntax 8.3 0/141 130/141 0/141 0/141 0/141 0/141 0/141
Objects (class instance) 8.4 0/1 1/1 0/1 0/1 0/1 1/1 0/1
Object properties and object parameter data 8.5 0/3 2/3 0/3 0/3 0/3 1/3 0/3
Object methods 8.6 0/1 0/1 0/1 0/1 0/1 1/1 0/1
Constructors 8.7 0/3 3/3 0/3 0/3 0/3 1/3 0/3
Typed constructor calls 8.8 0/2 1/2 0/2 0/2 0/2 0/2 0/2
Static class properties 8.9 0/1 0/1 0/1 0/1 0/1 1/1 0/1
Static methods 8.10 0/1 1/1 0/1 0/1 0/1 1/1 0/1
This 8.11 0/1 1/1 0/1 0/1 0/1 1/1 0/1
Assignment, renaming, and copying 8.12 0/2 0/2 0/2 0/2 0/2 2/2 0/2
Inheritance and subclasses 8.13 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Overridden members 8.14 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Super 8.15 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Casting 8.16 0/2 2/2 0/2 0/2 0/2 2/2 2/2
Chaining constructors 8.17 0/2 2/2 0/2 0/2 0/2 2/2 0/2
Data hiding and encapsulation 8.18 5/10 5/10 5/10 5/10 5/10 7/10 5/10
Constant class properties 8.19 0/2 2/2 0/2 0/2 0/2 2/2 0/2
Virtual methods 8.20 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Abstract classes and pure virtual methods 8.21 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Polymorphism: dynamic method lookup 8.22 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Class scope resolution operator :: 8.23 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Out-of-block declarations 8.24 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Parameterized classes 8.25 0/2 2/2 0/2 0/2 0/2 0/2 0/2
Class scope resolution operator for parameterized classes 8.25.1 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Interface classes 8.26 0/12 11/12 0/12 0/12 0/12 0/12 0/12
Extends versus implements 8.26.2 0/4 4/4 0/4 0/4 0/4 0/4 0/4
Type access 8.26.3 1/3 2/3 1/3 1/3 1/3 1/3 1/3
Type usage restrictions 8.26.4 2/2 0/2 2/2 2/2 2/2 2/2 2/2
Casting and object reference assignment 8.26.5 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Method name conflict resolution 8.26.6.1 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Parameter and type declaration inheritance conflicts and resolution 8.26.6.2 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Diamond relationship 8.26.6.3 1/2 1/2 1/2 1/2 1/2 1/2 1/2
Partial implementation 8.26.7 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Typedef class 8.27 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Initial procedures 9.2.1 1/1 1/1 1/1 1/1 0/1 1/1 1/1
General purpose always procedure 9.2.2.1 1/1 1/1 1/1 1/1 0/1 0/1 1/1
Combinational logic always_comb procedure 9.2.2.2 1/1 1/1 1/1 1/1 0/1 0/1 1/1
Latched logic always_latch procedure 9.2.2.3 1/1 1/1 1/1 1/1 0/1 0/1 1/1
Sequential logic always_ff procedure 9.2.2.4 1/1 1/1 1/1 1/1 0/1 0/1 1/1
Final procedures 9.2.3 1/1 1/1 1/1 0/1 0/1 1/1 0/1
Sequential blocks 9.3.1 1/1 1/1 1/1 1/1 0/1 1/1 1/1
Parallel blocks 9.3.2 0/3 3/3 0/3 0/3 0/3 3/3 0/3
Statement block start and finish times 9.3.3 1/3 1/3 1/3 1/3 1/3 3/3 1/3
Block names 9.3.4 1/2 2/2 1/2 1/2 0/2 2/2 1/2
Statement labels 9.3.5 1/2 2/2 0/2 0/2 0/2 0/2 0/2
Delay control 9.4.1 1/1 1/1 1/1 1/1 0/1 1/1 1/1
Event control 9.4.2 3/3 3/3 3/3 2/3 0/3 2/3 2/3
Event OR operator 9.4.2.1 2/2 2/2 2/2 2/2 0/2 0/2 2/2
Implicit event_expression list 9.4.2.2 0/1 1/1 1/1 1/1 0/1 0/1 1/1
Conditional event controls 9.4.2.3 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Sequence events 9.4.2.4 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Level-sensitive event control 9.4.3 0/1 1/1 0/1 0/1 0/1 1/1 0/1
Intra-assignment timing controls 9.4.5 0/7 7/7 2/7 2/7 0/7 7/7 1/7
Wait fork statement 9.6.1 0/1 1/1 0/1 0/1 0/1 1/1 0/1
Disable statement 9.6.2 0/2 2/2 1/2 0/2 0/2 2/2 0/2
Disable fork statement 9.6.3 0/1 1/1 0/1 0/1 0/1 1/1 0/1
Fine-grain process control 9.7 0/4 4/4 0/4 0/4 0/4 0/4 0/4
Operators 11.3 3/3 3/3 3/3 0/3 0/3 3/3 3/3
Operator expression short circuiting 11.3.5 1/1 1/1 1/1 0/1 0/1 1/1 1/1
Assignment within an expression 11.3.6 2/2 2/2 1/2 1/2 1/2 1/2 1/2
Assignment operators 11.4.1 13/13 13/13 13/13 0/13 0/13 13/13 13/13
Increment and decrement operators 11.4.2 2/2 2/2 2/2 0/2 0/2 2/2 2/2
Arithmetic operators 11.4.3 6/6 6/6 6/6 0/6 0/6 6/6 6/6
Relational operators 11.4.4 4/4 4/4 4/4 0/4 0/4 4/4 4/4
Equality operators 11.4.5 4/4 4/4 4/4 0/4 0/4 4/4 4/4
Wildcard equality operators 11.4.6 2/2 2/2 0/2 0/2 0/2 0/2 2/2
Logical operators 11.4.7 4/4 4/4 3/4 0/4 0/4 2/4 4/4
Bitwise operators 11.4.8 5/5 5/5 5/5 0/5 0/5 5/5 5/5
Reduction operators 11.4.9 7/7 7/7 7/7 0/7 0/7 7/7 7/7
Shift operators 11.4.10 4/4 4/4 4/4 0/4 0/4 4/4 4/4
Conditional operator 11.4.11 1/1 1/1 1/1 0/1 0/1 1/1 1/1
Concatenation operators 11.4.12 1/1 1/1 1/1 1/1 0/1 1/1 1/1
Replication operator 11.4.12.1 2/2 2/2 2/2 2/2 0/2 2/2 2/2
String concatenation 11.4.12.2 2/2 2/2 2/2 0/2 0/2 2/2 0/2
Set membership operator 11.4.13 0/1 1/1 0/1 0/1 0/1 0/1 1/1
Concatenation of stream_expressions 11.4.14.1 0/1 1/1 1/1 0/1 0/1 0/1 1/1
Re-ordering of the generic stream 11.4.14.2 0/1 1/1 1/1 0/1 0/1 0/1 1/1
Streaming concatenation as an assignment target (unpack) 11.4.14.3 1/3 1/3 2/3 1/3 1/3 1/3 2/3
Streaming dynamically sized data 11.4.14.4 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Vector bit-select and part-select addressing 11.5.1 4/4 4/4 4/4 4/4 0/4 4/4 4/4
Array and memory addressing 11.5.2 2/2 2/2 2/2 2/2 0/2 2/2 2/2
Signed expressions 11.7 0/2 2/2 2/2 2/2 0/2 2/2 2/2
Tagged union expressions and member access 11.9 1/3 2/3 1/3 1/3 1/3 1/3 1/3
String literal expressions 11.10 1/1 1/1 1/1 1/1 0/1 1/1 1/1
String literal operations 11.10.1 3/3 3/3 3/3 0/3 0/3 3/3 3/3
Empty string literal handling 11.10.3 0/1 1/1 0/1 0/1 0/1 1/1 1/1
Minimum, typical, and maximum delay expressions 11.11 0/1 1/1 1/1 1/1 0/1 1/1 0/1
Let construct 11.12 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Conditional if-else statement 12.4 2/2 2/2 2/2 2/2 0/2 0/2 2/2
if-else-if construct 12.4.1 1/1 1/1 1/1 1/1 0/1 0/1 1/1
unique-if, unique0-if, and priority-if 12.4.2 3/3 3/3 3/3 0/3 0/3 0/3 3/3
Case statement 12.5 1/1 1/1 1/1 1/1 0/1 0/1 1/1
Case statement with do-not-cares 12.5.1 2/2 2/2 2/2 2/2 0/2 0/2 2/2
Constant expression in case statement 12.5.2 1/1 1/1 1/1 1/1 0/1 0/1 1/1
unique-case, unique0-case, and priority-case 12.5.3 9/9 9/9 9/9 0/9 0/9 0/9 9/9
Set membership case statement 12.5.4 0/1 1/1 1/1 0/1 0/1 0/1 0/1
Pattern matching in case statements 12.6.1 0/3 3/3 0/3 0/3 0/3 0/3 0/3
Pattern matching in if statements 12.6.2 0/1 1/1 0/1 0/1 0/1 0/1 0/1
Pattern matching in conditional expressions 12.6.3 0/1 0/1 0/1 0/1 0/1 0/1 0/1
The for-loop 12.7.1 1/1 1/1 1/1 0/1 0/1 1/1 1/1
The repeat loop 12.7.2 1/1 1/1 1/1 0/1 0/1 1/1 1/1
The foreach-loop 12.7.3 0/1 1/1 1/1 0/1 0/1 0/1 0/1
The while-loop 12.7.4 0/1 1/1 1/1 0/1 0/1 0/1 0/1
The do...while-loop 12.7.5 0/1 1/1 1/1 0/1 0/1 0/1 0/1
The forever-loop 12.7.6 0/1 1/1 0/1 0/1 0/1 1/1 0/1
Jump statements 12.8 3/4 4/4 4/4 0/4 0/4 1/4 1/4
Total tests passed: 744/1229 842/1229 676/1229 367/1229 359/1229 703/1229 784/1229
Total tags passed: 81/242 187/242 90/242 35/242 2/242 83/242 83/242